Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue readingA Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Continue readingIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Continue readingIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...
Continue readingThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Continue readingEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Continue readingIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Continue readingThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Continue readingThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Continue readingThis book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Continue readingThe scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Continue reading